Subjects: delimited continuations; control; prompt
تفاصيل العنوان
Subjects: control operators; classical logic; operational semantics
Subjects: callcc; minimal logic; intuitionistic logic